nLab Feit-Thompson theorem

Contents

Contents

Statement

Theorem

Every finite group of odd order is a solvable group.

This is due to (Feit-Thompson 62).

A fully formalized proof in Coq has been announced in (INRIA 2012)

References

Last revised on September 12, 2018 at 11:21:41. See the history of this page for a list of all contributions to it.